functor F (
  A : sig
   exception E
  end
) =
struct
  exception E = A.E
  exception E2
end
